BoolDeq $\in$ EqDecider($\mathbb{B}$)